$\forall$$A$, $B$, $C$:Type, $g$:($A$$\rightarrow$($B$ + Top)), $f$:($B$$\rightarrow$($C$ + Top)). $f$ o $g$   $\in$ $A$$\rightarrow$($C$ + Top)